Câu ví dụ
- These fields study models of computation (automata) and ways to describe and classify formal languages.
Các lĩnh vực nghiên cứu các mô hình tính toán (automata) và cách thức để mô tả và phân loại chính thức ngôn ngữ. - Furthermore, it is known that everything that can be computed on other models of computation known to us today, such as a RAM machine, Conway's Game of Life, cellular automata or any programming language can be computed on a Turing machine.
Tất cả các mô hình tính toán hiện nay chẳng hạn như máy RAM, Trò chơi cuộc sống của Conway, automat tế bào, hay bất kì ngôn ngữ lập trình nào cũng đều có thể tính được trên máy Turing. - If we allow polynomial variations in running time, Cobham-Edmonds thesis states that "the time complexities in any two reasonable and general models of computation are polynomially related" (Goldreich 2008, Chapter 1.2).
Nếu chúng ta cho phép các biến đổi đa thức trong thời gian chạy, luận án Cobham-Edmonds nói rằng “độ phức tạp thời gian trong bất kỳ hai mô hình tính toán hợp lý và tổng quát nào đều có liên quan đến đa thức” (Goldreich 2008, Chương 1.2). - If we allow polynomial variations in running time, Cobham–Edmonds thesis states that "the time complexities in any two reasonable and general models of computation are polynomially related" (Goldreich 2008, Chapter 1.2).
Nếu chúng ta cho phép các biến đổi đa thức trong thời gian chạy, luận án Cobham-Edmonds nói rằng “độ phức tạp thời gian trong bất kỳ hai mô hình tính toán hợp lý và tổng quát nào đều có liên quan đến đa thức” (Goldreich 2008, Chương 1.2). - If we allow polynomial variations in running time, Cobham-Edmonds thesis states that “the time complexities in any two reasonable and general models of computation are polynomially related” ( Goldreich 2008 , Chapter 1.2).
Nếu chúng ta cho phép các biến đổi đa thức trong thời gian chạy, luận án Cobham-Edmonds nói rằng “độ phức tạp thời gian trong bất kỳ hai mô hình tính toán hợp lý và tổng quát nào đều có liên quan đến đa thức” (Goldreich 2008, Chương 1.2).
